Optimal. Leaf size=95 \[ -\frac {c^3 d^3 (d+e x)^{m+4}}{e^4 (m+4)}+\frac {3 c^3 d^2 (d+e x)^{m+5}}{e^4 (m+5)}-\frac {3 c^3 d (d+e x)^{m+6}}{e^4 (m+6)}+\frac {c^3 (d+e x)^{m+7}}{e^4 (m+7)} \]
________________________________________________________________________________________
Rubi [A] time = 0.07, antiderivative size = 95, normalized size of antiderivative = 1.00, number of steps used = 4, number of rules used = 3, integrand size = 21, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.143, Rules used = {626, 12, 43} \begin {gather*} -\frac {c^3 d^3 (d+e x)^{m+4}}{e^4 (m+4)}+\frac {3 c^3 d^2 (d+e x)^{m+5}}{e^4 (m+5)}-\frac {3 c^3 d (d+e x)^{m+6}}{e^4 (m+6)}+\frac {c^3 (d+e x)^{m+7}}{e^4 (m+7)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 43
Rule 626
Rubi steps
\begin {align*} \int (d+e x)^m \left (c d x+c e x^2\right )^3 \, dx &=\int c^3 x^3 (d+e x)^{3+m} \, dx\\ &=c^3 \int x^3 (d+e x)^{3+m} \, dx\\ &=c^3 \int \left (-\frac {d^3 (d+e x)^{3+m}}{e^3}+\frac {3 d^2 (d+e x)^{4+m}}{e^3}-\frac {3 d (d+e x)^{5+m}}{e^3}+\frac {(d+e x)^{6+m}}{e^3}\right ) \, dx\\ &=-\frac {c^3 d^3 (d+e x)^{4+m}}{e^4 (4+m)}+\frac {3 c^3 d^2 (d+e x)^{5+m}}{e^4 (5+m)}-\frac {3 c^3 d (d+e x)^{6+m}}{e^4 (6+m)}+\frac {c^3 (d+e x)^{7+m}}{e^4 (7+m)}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.06, size = 70, normalized size = 0.74 \begin {gather*} \frac {c^3 (d+e x)^{m+4} \left (-\frac {d^3}{m+4}+\frac {3 d^2 (d+e x)}{m+5}-\frac {3 d (d+e x)^2}{m+6}+\frac {(d+e x)^3}{m+7}\right )}{e^4} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [F] time = 0.16, size = 0, normalized size = 0.00 \begin {gather*} \int (d+e x)^m \left (c d x+c e x^2\right )^3 \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 0.43, size = 343, normalized size = 3.61 \begin {gather*} \frac {{\left (6 \, c^{3} d^{6} e m x - 6 \, c^{3} d^{7} + {\left (c^{3} e^{7} m^{3} + 15 \, c^{3} e^{7} m^{2} + 74 \, c^{3} e^{7} m + 120 \, c^{3} e^{7}\right )} x^{7} + {\left (4 \, c^{3} d e^{6} m^{3} + 57 \, c^{3} d e^{6} m^{2} + 269 \, c^{3} d e^{6} m + 420 \, c^{3} d e^{6}\right )} x^{6} + 6 \, {\left (c^{3} d^{2} e^{5} m^{3} + 13 \, c^{3} d^{2} e^{5} m^{2} + 57 \, c^{3} d^{2} e^{5} m + 84 \, c^{3} d^{2} e^{5}\right )} x^{5} + 2 \, {\left (2 \, c^{3} d^{3} e^{4} m^{3} + 21 \, c^{3} d^{3} e^{4} m^{2} + 79 \, c^{3} d^{3} e^{4} m + 105 \, c^{3} d^{3} e^{4}\right )} x^{4} + {\left (c^{3} d^{4} e^{3} m^{3} + 3 \, c^{3} d^{4} e^{3} m^{2} + 2 \, c^{3} d^{4} e^{3} m\right )} x^{3} - 3 \, {\left (c^{3} d^{5} e^{2} m^{2} + c^{3} d^{5} e^{2} m\right )} x^{2}\right )} {\left (e x + d\right )}^{m}}{e^{4} m^{4} + 22 \, e^{4} m^{3} + 179 \, e^{4} m^{2} + 638 \, e^{4} m + 840 \, e^{4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.21, size = 528, normalized size = 5.56 \begin {gather*} \frac {{\left (x e + d\right )}^{m} c^{3} m^{3} x^{7} e^{7} + 4 \, {\left (x e + d\right )}^{m} c^{3} d m^{3} x^{6} e^{6} + 6 \, {\left (x e + d\right )}^{m} c^{3} d^{2} m^{3} x^{5} e^{5} + 4 \, {\left (x e + d\right )}^{m} c^{3} d^{3} m^{3} x^{4} e^{4} + {\left (x e + d\right )}^{m} c^{3} d^{4} m^{3} x^{3} e^{3} + 15 \, {\left (x e + d\right )}^{m} c^{3} m^{2} x^{7} e^{7} + 57 \, {\left (x e + d\right )}^{m} c^{3} d m^{2} x^{6} e^{6} + 78 \, {\left (x e + d\right )}^{m} c^{3} d^{2} m^{2} x^{5} e^{5} + 42 \, {\left (x e + d\right )}^{m} c^{3} d^{3} m^{2} x^{4} e^{4} + 3 \, {\left (x e + d\right )}^{m} c^{3} d^{4} m^{2} x^{3} e^{3} - 3 \, {\left (x e + d\right )}^{m} c^{3} d^{5} m^{2} x^{2} e^{2} + 74 \, {\left (x e + d\right )}^{m} c^{3} m x^{7} e^{7} + 269 \, {\left (x e + d\right )}^{m} c^{3} d m x^{6} e^{6} + 342 \, {\left (x e + d\right )}^{m} c^{3} d^{2} m x^{5} e^{5} + 158 \, {\left (x e + d\right )}^{m} c^{3} d^{3} m x^{4} e^{4} + 2 \, {\left (x e + d\right )}^{m} c^{3} d^{4} m x^{3} e^{3} - 3 \, {\left (x e + d\right )}^{m} c^{3} d^{5} m x^{2} e^{2} + 6 \, {\left (x e + d\right )}^{m} c^{3} d^{6} m x e + 120 \, {\left (x e + d\right )}^{m} c^{3} x^{7} e^{7} + 420 \, {\left (x e + d\right )}^{m} c^{3} d x^{6} e^{6} + 504 \, {\left (x e + d\right )}^{m} c^{3} d^{2} x^{5} e^{5} + 210 \, {\left (x e + d\right )}^{m} c^{3} d^{3} x^{4} e^{4} - 6 \, {\left (x e + d\right )}^{m} c^{3} d^{7}}{m^{4} e^{4} + 22 \, m^{3} e^{4} + 179 \, m^{2} e^{4} + 638 \, m e^{4} + 840 \, e^{4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.05, size = 129, normalized size = 1.36 \begin {gather*} -\frac {\left (-e^{3} m^{3} x^{3}-15 e^{3} m^{2} x^{3}+3 d \,e^{2} m^{2} x^{2}-74 e^{3} m \,x^{3}+27 d \,e^{2} m \,x^{2}-120 x^{3} e^{3}-6 d^{2} e m x +60 d \,x^{2} e^{2}-24 d^{2} x e +6 d^{3}\right ) c^{3} \left (e x +d \right )^{m +4}}{\left (m^{4}+22 m^{3}+179 m^{2}+638 m +840\right ) e^{4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [B] time = 1.60, size = 674, normalized size = 7.09 \begin {gather*} \frac {{\left ({\left (m^{3} + 6 \, m^{2} + 11 \, m + 6\right )} e^{4} x^{4} + {\left (m^{3} + 3 \, m^{2} + 2 \, m\right )} d e^{3} x^{3} - 3 \, {\left (m^{2} + m\right )} d^{2} e^{2} x^{2} + 6 \, d^{3} e m x - 6 \, d^{4}\right )} {\left (e x + d\right )}^{m} c^{3} d^{3}}{{\left (m^{4} + 10 \, m^{3} + 35 \, m^{2} + 50 \, m + 24\right )} e^{4}} + \frac {3 \, {\left ({\left (m^{4} + 10 \, m^{3} + 35 \, m^{2} + 50 \, m + 24\right )} e^{5} x^{5} + {\left (m^{4} + 6 \, m^{3} + 11 \, m^{2} + 6 \, m\right )} d e^{4} x^{4} - 4 \, {\left (m^{3} + 3 \, m^{2} + 2 \, m\right )} d^{2} e^{3} x^{3} + 12 \, {\left (m^{2} + m\right )} d^{3} e^{2} x^{2} - 24 \, d^{4} e m x + 24 \, d^{5}\right )} {\left (e x + d\right )}^{m} c^{3} d^{2}}{{\left (m^{5} + 15 \, m^{4} + 85 \, m^{3} + 225 \, m^{2} + 274 \, m + 120\right )} e^{4}} + \frac {3 \, {\left ({\left (m^{5} + 15 \, m^{4} + 85 \, m^{3} + 225 \, m^{2} + 274 \, m + 120\right )} e^{6} x^{6} + {\left (m^{5} + 10 \, m^{4} + 35 \, m^{3} + 50 \, m^{2} + 24 \, m\right )} d e^{5} x^{5} - 5 \, {\left (m^{4} + 6 \, m^{3} + 11 \, m^{2} + 6 \, m\right )} d^{2} e^{4} x^{4} + 20 \, {\left (m^{3} + 3 \, m^{2} + 2 \, m\right )} d^{3} e^{3} x^{3} - 60 \, {\left (m^{2} + m\right )} d^{4} e^{2} x^{2} + 120 \, d^{5} e m x - 120 \, d^{6}\right )} {\left (e x + d\right )}^{m} c^{3} d}{{\left (m^{6} + 21 \, m^{5} + 175 \, m^{4} + 735 \, m^{3} + 1624 \, m^{2} + 1764 \, m + 720\right )} e^{4}} + \frac {{\left ({\left (m^{6} + 21 \, m^{5} + 175 \, m^{4} + 735 \, m^{3} + 1624 \, m^{2} + 1764 \, m + 720\right )} e^{7} x^{7} + {\left (m^{6} + 15 \, m^{5} + 85 \, m^{4} + 225 \, m^{3} + 274 \, m^{2} + 120 \, m\right )} d e^{6} x^{6} - 6 \, {\left (m^{5} + 10 \, m^{4} + 35 \, m^{3} + 50 \, m^{2} + 24 \, m\right )} d^{2} e^{5} x^{5} + 30 \, {\left (m^{4} + 6 \, m^{3} + 11 \, m^{2} + 6 \, m\right )} d^{3} e^{4} x^{4} - 120 \, {\left (m^{3} + 3 \, m^{2} + 2 \, m\right )} d^{4} e^{3} x^{3} + 360 \, {\left (m^{2} + m\right )} d^{5} e^{2} x^{2} - 720 \, d^{6} e m x + 720 \, d^{7}\right )} {\left (e x + d\right )}^{m} c^{3}}{{\left (m^{7} + 28 \, m^{6} + 322 \, m^{5} + 1960 \, m^{4} + 6769 \, m^{3} + 13132 \, m^{2} + 13068 \, m + 5040\right )} e^{4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 0.59, size = 333, normalized size = 3.51 \begin {gather*} {\left (d+e\,x\right )}^m\,\left (\frac {c^3\,e^3\,x^7\,\left (m^3+15\,m^2+74\,m+120\right )}{m^4+22\,m^3+179\,m^2+638\,m+840}-\frac {6\,c^3\,d^7}{e^4\,\left (m^4+22\,m^3+179\,m^2+638\,m+840\right )}+\frac {2\,c^3\,d^3\,x^4\,\left (2\,m^3+21\,m^2+79\,m+105\right )}{m^4+22\,m^3+179\,m^2+638\,m+840}+\frac {6\,c^3\,d^6\,m\,x}{e^3\,\left (m^4+22\,m^3+179\,m^2+638\,m+840\right )}+\frac {c^3\,d\,e^2\,x^6\,\left (4\,m^3+57\,m^2+269\,m+420\right )}{m^4+22\,m^3+179\,m^2+638\,m+840}+\frac {6\,c^3\,d^2\,e\,x^5\,\left (m^3+13\,m^2+57\,m+84\right )}{m^4+22\,m^3+179\,m^2+638\,m+840}-\frac {3\,c^3\,d^5\,m\,x^2\,\left (m+1\right )}{e^2\,\left (m^4+22\,m^3+179\,m^2+638\,m+840\right )}+\frac {c^3\,d^4\,m\,x^3\,\left (m^2+3\,m+2\right )}{e\,\left (m^4+22\,m^3+179\,m^2+638\,m+840\right )}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 6.48, size = 2218, normalized size = 23.35
result too large to display
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________